组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

基于电子海图的船舶动态信息显示系统

随着全球经济发展、海事活动的迅猛增加,我国建立了船舶交通管理系统(VTS)、船舶自动识别系统(AIS)等诸多应用于海事管理工作的信息系统.然而这些系统之间彼此独立、数据分散,且通过纸质海图进行标绘,不能为海事工作提供全面、快速、统一的信息支持.针对这一现状,本文设计了一套基于电子海图的船舶动态信息显示系统.该系统融合了VTS、AIS等现有信息资源,通过电子海图显示平台实现船舶动态信息的可视化,并且能够实时查询综合应急信息,有利于海岸、港湾的船舶管理及海上船舶的安全航行,提高了应急指挥的效率.     

Web服务在电子政务系统中的应用研究

目前我国电子政务工程中,许多政府部门都建立了自己的内部业务处理系统和政务数据库,但是各部门之间难以进行数据交流和共享,也难以实现联合办公和协同工作。当前在实施电子政务时,困难在于如何集成各部门已有的内部业务处理系统和如何适应机构、职能和需求的频繁变化。论文提出采用Web服务实施电子政务,可以较好地解决数据共事和异构系统的集成问题。最后,给出一个Web服务在电子政务中应用的实例。     

江苏省智慧旅游公共服务平台建设

大力促进智慧旅游的发展是引领我国旅游业从传统服务业向战略性支柱产业和现代服务业转型升级的必然选择,科学部署智慧旅游服务公共服务平台建设和应用,是政府推动智慧旅游更好、更快发展的重要抓手.江苏作为我国智慧旅游建设的主要示范省,正在对智慧旅游公共服务平台建设进行统筹规划,平台建设的必要性和可行性都已较为明确,重点应从制度体系、基础设施体系、综合数据库系统、共享服务系统、应用体系、服务体系、标准规范体系和信息安全与运营管理体系八个维度进行科学布局,力争智慧旅游公共服务平台成为推进江苏从旅游大省向旅游强省跃升的重要支撑力量.     

MRO企业维修业务的拓展

发动机在翼维修可以节约维修费用，避免由换发造成的延误。本文对维修（MRO）企业在发动机在翼维修中的优势及可能涉及的问题进行了讨论。     

基于NMAS身份认证模型的研究与实现

从现有身份认证模型出发，利用novell模块认证服务（Novell Modular Authentication Services，NMAS）设计出一套完整的认证模型，实现对用户身份的分级认证及认证方法的统一管理和授权。并通过加载双因素身份认证技术实现对用户身份的强认证。     

数据资源共享系统设计

如何解决异地异构网络环境下的数据资源共享,是实现网络化制造的一个关键问题.提出了基于WebServices技术的数据资源共享系统.介绍了WebServices技术及其优势,对系统的总体架构与逻辑结构进行了方案设计,对各层的功能进行了阐述,在方案设计的基础上,对所涉及的关键技术进行了论述,最后对下一步的工作进行了描述与展望.     

非合作目标智能感知技术研究进展与展望

智能感知是实现航天器在轨精细化操控过程的关键技术，是在轨服务技术智能化的重点发展方向之一。空间目标智能感知包括位姿测量、三维重建与部位识别等关键技术，涉及小样本、多模态、模型适应与高维数据等问题。从工程应用角度出发，对非合作目标智能感知技术的研究现状进行系统的梳理与总结。首先，总结典型非合作在轨感知系统与光学敏感器技术的发展现状；其次，归纳总结了非合作目标智能感知涉及的关键技术；最后，基于研究现状总结和关键技术分析，探讨了非合作目标智能感知目前存在的主要问题，并给出后续发展的建议。     

基于Web和层次实例推理的CAPP的研究

针对网络时代制造业企业对CAPP系统的现实要求,研究了以互联网为基础,以开放、通用、智能为特征的CAPP模型.模型采用数据库、Web服务器和客户端三层结构,实现了CAPP的在线服务.本文提出了一种称为基于层次实例推理的工艺生成方法,该方法将工艺计划分为工艺过程、工序和工步三个层次,并对这三个层次分别进行基于实例的分层推理,使工艺生成规则描述的随意性为基于粒度描述的规范性,降低了工艺规程组合和重用的粒度.由于采用基于层次的实例推理方法,使工艺生成既具派生又具创成的特征,提高了工艺生成的通用性和实用性.     

流媒体技术在河南油田Intranet上的应用

文章主要研究如何综合利用流媒体技术，Web技术，多媒体数据采集、压缩、转换技术及数据库技术等等多种技术构架一个Intranet流媒体应用系统。